<script>
	window.location.href="docs/"
</script>